\newcommand{\CodeIn}[1]{\begin{small}\texttt{#1}\end{small}}
\newcommand{\Fix}[1]{\textbf{[[#1]]}}
\newcommand{\Comment}[1]{}

%% names
\newcommand{\DE}{Delta Execution}
\newcommand{\DEA}{DE}